Software bugs - PDFSEARCH.IO - Document Search Engine

Software bugs
Results: 1223

#	Item
311	Software Security: A Formal Perspective (Notes for a Talk) Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-06-26 10:13:21 Cyberwarfare PaX Buffer overflow Stack buffer overflow Vulnerability Application security Formal methods Malware Static program analysis Software bugs Computer security Computing
312	Defeating the Stack Based Buffer Overflow Prevention Mechanism of Microsoft Windows 2003 Server. David Litchfield () 8th September 2003 Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:30 Computer errors Machine code Memory management Segmentation fault Stack buffer overflow Buffer overflow protection Buffer overflow Pointer Brainfuck Computing Software bugs Software engineering
313	Converting OpenBSD to PIE Pascal Stumpf <> AsiaBSDCon 2015, March 15, Tokyo Pascal Stumpf: Converting OpenBSD to PIE Add to Reading List Source URL: www.obsd.si Language: English - Date: 2015-03-15 03:31:17 Embedded operating systems Cross-platform software Procedural programming languages OpenBSD Software bugs Address space layout randomization Buffer overflow protection C dynamic memory allocation Pascal Computing Software Computer programming
314	Ironclad C++ A Library-Augmented Type-Safe Subset of C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte† Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-09-17 20:34:39 Software bugs C++ Memory management Data types Primitive types Pointer Dangling pointer Memory safety C Computing Software engineering Computer programming
315	Tracking Down Software Bugs Using Automatic Anomaly Detection Sudheendra Hangal Monica S. Lam Add to Reading List Source URL: www-suif.stanford.edu Language: English - Date: 2002-02-03 04:03:46 Software testing Control flow Daikon Object-oriented programming Software bug Invariant Assertion Exception handling Debugging Software engineering Computing Computer programming
316	6 Displaying the Heap Graphically. Use the Heap Status Graphical Report to see how your program is using memory. Clicking on a block in the top area displays information at Add to Reading List Source URL: docs.roguewave.com Language: English - Date: 2015-01-28 08:47:37 Debugging Software bugs Memory management Debuggers Memory leak TotalView Memory debugger C dynamic memory allocation Pointer Computer programming Computing Software engineering
317	Beyond Bug-Finding: Sound Program Analysis for Linux Zachary Anderson,1 Eric Brewer,1 Jeremy Condit,1 Robert Ennals,2 David Gay,2 Matthew Harren,1 George C. Necula,1 Feng Zhou1 1 2 Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-05-18 18:24:14 Data types Cross-platform software Software bugs Linux Linux kernel Kernel Type system Operating system Type safety Computing Software Type theory
318	Bugs fixed in RTE forrelease （Total：9） Bug ID Category Summary Add to Reading List Source URL: www.curlap.com Language: English - Date: 2015-03-04 19:54:27 Curl X Window System Unix Software bug Software Computing System software
319	Microsoft Word - f07-Just.doc Add to Reading List Source URL: www.icir.org Language: English - Date: 2004-11-02 14:34:57 Software bugs PaX Buffer overflow Stack buffer overflow Code injection Vulnerability Stack Malware Cross-site scripting Computer security Computing Cyberwarfare
320	Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Source code Subroutines Cryptographic software OpenSSL Coccinelle Python Software bug Main function Printf format string Computer programming Computing Software engineering

UPDATE